The Poem

Life: A Poem

The Implementation of Mazurkiewicz Traces in POEM

We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to store trace systems, which allows sharing common prefixes among traces and therefore, reduces memory cost. This structure is easy to extend to incorporate additional features. Two applications are shown in the paper: An ...

The Virtual Electronic POEM (VEP) Project

This paper outlines a demonstration of the reconstruction of the Poème électronique experience using virtual reality and binaural audio techniques. Here we discuss the genesis of the project, the search for original material, discovery of clues for the reconstruction of several sections of the artwork and the creation of the VR/binaural installation within the context of an interactive exhibition.

Double-Scope Peroral Endoscopic Myotomy (POEM) for Esophageal Achalasia: The First Trial of a New Double-Scope POEM

With the accumulation of clinical trials demonstrating its efficacy and safety, peroral endoscopic myotomy (POEM) has emerged as a less invasive treatment option for esophageal achalasia compared with laparoscopic Heller myotomy. However, the difficulty in determining the exact extent of myotomy, a critical factor associated with the success and safety of the procedure, remains a limitation. Al...

A critical care holiday poem.